$\forall$${\it es}$:ES. es{-}Choose(${\it es}$) $\in$ $i$,$a$:Id$\rightarrow\mathbb{N}\rightarrow$state@$i$$\rightarrow$(?(es{-}V(${\it es}$)($i$,$a$)))